﻿With the use of the logcontract command, an expression such as log(x)-log(y), by properties, results in log(x/y)